In contemporary philosophy, substantive moral theories are typically classified as either consequentialist or deontological. Standard consequentialist theories insist, roughly, that agents must always act so as to produce the best available outcomes overall. Standard deontological theories, by contrast, maintain that there are some circumstances where one is permitted but not required to produce the best overall results, and still other circumstances in which one is positively forbidden to to do. Classical utilitarianism is the most familiar consequentialist view, but it is (...) widely regarded as an inadequate account of morality. Although Professor Scheffler agrees with this assessment, he also believes that consequentialism seems initially plausible, and that there is a persistent air of paradox surrounding typical deontological views. In this book, therefore, he undertakes to reconsider the rejection of consequentialism. He argues that it is possible to provide a rationale for the view that agents need not always produce the best possible overall outcomes, and this motivates one departure from consequentialism; but he shows that it is surprisingly difficult to provide a satisfactory rationale for the view that there are times when agents must not produce the best possible overall outcomes. He goes on to argue for a hitherto neglected type of moral conception, according to which agents are always permitted, but not always required, to produce the best outcomes. (shrink)

Variabilism is the view that proper names (like pronouns) are semantically represented as variables. Referential names, like referential pronouns, are assigned their referents by a contextual variable assignment (Kaplan 1989). The reference parameter (like the world of evaluation) may also be shifted by operators in the representation language. Indeed verbs that create hyperintensional contexts, like ‘think’, are treated as operators that simultaneously shift the world and assignment parameters. By contrast, metaphysical modal operators shift the world of assessment only. Names, being (...) variables, refer rigidly in the latter merely intensional contexts, but may vary their reference in hyperintensional contexts. This conforms to the intuition that the content of attitude ascriptions encapsulates referential uncertainty. Furthermore, names in hyperintensional contexts are ambiguous between de re* and de dicto* interpretations. This fact is used to account for asymmetric mistaken identity attributions (for example, Biron thinks Katherine is Rosaline, but he doesn’t think Rosaline is Katherine). -/- The variable theory compares favourably with its alternatives, including Millianism and descriptivism. Millians cannot account for the behaviour of names in hyperintensional contexts, while descriptivists cannot generate a necessary contrast between intensional and hyperintensional contexts. No other theory can capture the facts pertaining to the existentially bound use of names. (shrink)

Liberalism generally holds that legitimate political power is limited and is to be impartially exercised, only for the public good. Liberals accordingly assign political priority to maintaining certain basic liberties and equality of opportunities; they advocate an essential role for markets in economic activity, and they recognize government's crucial role in correcting market breakdowns and providing public goods. Classical liberalism and what I call “the high liberal tradition” are two main branches of liberalism. Classical liberalism evolved from the works of (...) Adam Smith and the classical utilitarian economists; its major 20th century representatives include Friedrich Hayek and Milton Friedman. The high liberal tradition developed from John Stuart Mill's works, and its major philosophical representatives in the 20th century are John Dewey and, later, John Rawls. This paper discusses the main distinguishing features of the classical and the high liberal traditions and their respective positions regarding capitalism as an economic and social system. Classical liberals, unlike high liberals, regard economic liberties and rights of private property in productive resources to be nearly as important as basic liberties. They conceive of equality of opportunity in more formal terms, and regard capitalist markets and the price system as essential not only to the allocation of production resources, but also as the fundamental criterion for the just distribution of income, wealth, and economic powers. High liberals, by contrast, regard the economic liberties as subordinate to the exercise of personal and civic liberties. They are prepared to regulate and restrict economic liberties to achieve greater equality of opportunities, reduce inequalities of economic powers, and promote a broader conception of the public good. And while high liberals endorse markets and the price system as essential to allocation of productive resources, they do not regard markets as the fundamental criterion for assessing just distributions of income, wealth, and economic powers and positions of responsibility. The paper concludes with some reflections upon the essential role that dissimilar conceptions of persons and society play in grounding the different positions on economic justice that classical and high liberals advocate. (shrink)

Lately there has been a renewal of interest among political philosophers and theorists in the idea of cosmopolitanism. However, there is little consensus among contemporary theorists about the precise content of a cosmopolitan position. This article calls attention to two different strands in recent thinking about cosmopolitanism. One strand presents it primarily as a doctrine about justice. The other presents it primarily as a doctrine about culture and the self. Although both forms of cosmopolitanism have some appeal, each is sometimes (...) interpreted in ways that render it untenable. This article attempts to distinguish between the more and the less plausible versions of each form of cosmopolitanism. In each case, the distinction turns on how the normative status of particular interpersonal relationships and group affiliations is understood. (shrink)

Kraut and other neo-Aristotelians have argued that there is no such thing as absolute goodness. They admit only good in a kind, e.g. a good sculptor, and good for something, e.g. good for fish. What is the view of Aristotle? Mostly limiting myself to the Nicomachean Ethics, I argue that Aristotle is committed to things being absolutely good and also to a metaphysics of absolute goodness where there is a maximally best good that is the cause of the goodness of (...) all other things in virtue of being their end. I begin by suggesting that the notion of good as an end, which is present in the first lines of the NE, is not obviously accounted for by good in a kind or good for something. I then give evidence that good in a kind and good for something can explain neither certain distinctions drawn between virtues nor the determinacy ascribed to what is good “in itself.” I argue contra Gotthelf that because several important arguments in the Nicomachean Ethics rely on comparative judgments of absolute value—e.g. “Man is the best of all animals”—Aristotle is committed to the existence of both absolute goodness and an absolutely best being. I focus on one passage, Aristotle’s division of goods in NE I 12, which presupposes this metaphysical picture. (shrink)

Mintz examines seventeenth-century reactions to the political philosophy of Thomas Hobbes.

There is a mystery at the heart of Plato's Parmenides. In the first part, Parmenides criticizes what is widely regarded as Plato's mature theory of Forms, and in the second, he promises to explain how the Forms can be saved from these criticisms. Ever since the dialogue was written, scholars have struggled to determine how the two parts of the work fit together. Did Plato mean us to abandon, keep or modify the theory of Forms, on the strength of Parmenides' (...) criticisms? Samuel Rickless offers something that has never been done before: a careful reconstruction of every argument in the dialogue. He concludes that Plato's main aim was to argue that the theory of Forms should be modified by allowing that forms can have contrary properties. To grasp this is to solve the mystery of the Parmenides and understand its crucial role in Plato's philosophical development. (shrink)

In recent scholarship, the science and religion debate has been historicized, revealing the novelty of the concepts of science and religion and their complex connections to secularization and the birth of modernity. This article situates this historicist turn in the history of philosophy and its connections to theology and Scripture, showing that the science and religion concept derives from philosophy's earlier tension with theology as it became an academic discipline centered in the medieval, then research university, with the centrality of (...) Scripture changing under the influence of historical criticism. Looking at Thomas Aquinas and Friedrich Schleiermacher on theology and Scripture's connection to science, it offers a new framework for theorizing science and religion as part of the history of philosophy. (shrink)

In the Formula of Humanity, Kant embraces the principle that it is wrong for us to treat others merely as means. For contemporary Kantian ethicists, this Mere Means Principle plays the role of a moral constraint: it limits what we may do, even in the service of promoting the overall good. But substantive interpretations of the principle generate implausible results in relatively ordinary cases. On one interpretation, for example, you treat your opponent in a tennis tournament merely as a means (...) and thus wrongly when you try, through defeating him, to win first place. The article aims to develop a reconstruction of the Mere Means Principle that has more plausible implications than do rival reconstructions. It sets out a sufficient condition for an agent's treating another merely as a means. This condition is intended to be Kantian, but not necessarily one that Kant endorses. (shrink)

Objects of Metaphor puts forward a philosophical account of metaphor radically different from those currently on offer. Powerful and flexible enough to cope with the syntactic complexity typical of genuine metaphor, it offers novel conceptions of the relationship between simile and metaphor, the notion of dead metaphor, and the idea of metaphor as a robust theoretic kind. Without denying that metaphor can sometimes be merely ornamental, Guttenplan justifies the view of metaphor as fundamental to language and the study of language. (...) His book will be of great interest not only to philosophers in this field, but also to those working across psychology and linguistics. (shrink)

In this two-part series, I explore some of the most important and influential interpretations of Spinoza as an idealist. In this first part, I examine Hegel’s case for interpreting Spinoza as a kind of frustrated idealist and show how doing so raises fresh interpretative challenges for Spinoza’s contemporary readers.

Can an AGI create a more intelligent AGI? Under idealized assumptions, for a certain theoretical type of intelligence, our answer is: “Not without outside help”. This is a paper on the mathematical structure of AGI populations when parent AGIs create child AGIs. We argue that such populations satisfy a certain biological law. Motivated by observations of sexual reproduction in seemingly-asexual species, the Knight-Darwin Law states that it is impossible for one organism to asexually produce another, which asexually produces another, and (...) so on forever: that any sequence of organisms (each one a child of the previous) must contain occasional multi-parent organisms, or must terminate. By proving that a certain measure (arguably an intelligence measure) decreases when an idealized parent AGI single-handedly creates a child AGI, we argue that a similar Law holds for AGIs. (shrink)

Advance Praise: "A distillation of the wisdom accumulated over a lifetime by one of our leading thinkers in psychiatry. . . .It should interest. . .anyone who has thought seriously about the brain, the mind and the meaning of illness." --Albert J. Stunkard, M.D., Professor of Psychiatry, University of Pennsylvania.

Legg and Hutter, as well as subsequent authors, considered intelligent agents through the lens of interaction with reward-giving environments, attempting to assign numeric intelligence measures to such agents, with the guiding principle that a more intelligent agent should gain higher rewards from environments in some aggregate sense. In this paper, we consider a related question: rather than measure numeric intelligence of one Legg- Hutter agent, how can we compare the relative intelligence of two Legg-Hutter agents? We propose an elegant answer (...) based on the following insight: we can view Legg-Hutter agents as candidates in an election, whose voters are environments, letting each environment vote (via its rewards) which agent (if either) is more intelligent. This leads to an abstract family of comparators simple enough that we can prove some structural theorems about them. It is an open question whether these structural theorems apply to more practical intelligence measures. (shrink)

We define a notion of the intelligence level of an idealized mechanical knowing agent. This is motivated by efforts within artificial intelligence research to define real-number intelligence levels of compli- cated intelligent systems. Our agents are more idealized, which allows us to define a much simpler measure of intelligence level for them. In short, we define the intelligence level of a mechanical knowing agent to be the supremum of the computable ordinals that have codes the agent knows to be codes (...) of computable ordinals. We prove that if one agent knows certain things about another agent, then the former necessarily has a higher intelligence level than the latter. This allows our intelligence no- tion to serve as a stepping stone to obtain results which, by themselves, are not stated in terms of our intelligence notion (results of potential in- terest even to readers totally skeptical that our notion correctly captures intelligence). As an application, we argue that these results comprise evidence against the possibility of intelligence explosion (that is, the no- tion that sufficiently intelligent machines will eventually be capable of designing even more intelligent machines, which can then design even more intelligent machines, and so on). (shrink)

In Nicomachean Ethics 1. 7, Aristotle gives a definition of the human good, and he does so by means of the “ ergon argument.” I clear the way for a new interpretation of this argument by arguing that Aristotle does not think that the ergon of something is always the proper activity of that thing. Though he has a single concept of an ergon, Aristotle identifies the ergon of an X as an activity in some cases but a product in (...) others, depending on the sort of thing the X is—for while the ergon of the eye is seeing, the ergon of a sculptor is a sculpture. This alternative interpretation of Aristotle’s concept of an ergon allows the key explanatory middle term of the ergon argument to be what, I argue, it ought to be: “the best achievement of a human.”. (shrink)

In this two-part series, I explore some of the most important and influential interpretations of Spinoza as an idealist. In this second part, I turn to more recent idealistic interpretations of Spinoza, including the important British idealist school (including Pollock, Martineau, Joachim, and John Caird) at the turn of the 20th century to a very recent and important kind of idealist reading found in the work of Michael Della Rocca.

According to a common reading, Spinoza and Leibniz stand on opposite ends of the modal spectrum. At one extreme lies ‘‘Spinoza the necessitarian,’’ for whom the actual world is the only possible world. At the other lies ‘‘Leibniz the anti-necessitarian,’’ for whom the actual world is but one possible world among an infinite array of other possible worlds; the actual world is privileged for existence only in virtue of a free decree of a benevolent God. In this paper, I challenge (...) both of these readings. Spinoza is no necessitarian and Leibniz is no anti-necessitarian – at least as these characterizations are usually understood. Rather, I contend, Spinoza and Leibniz are both anti-essentialists; they believe that the modality of objects can vary relative to how those objects are conceived. This shared commitment to anti-essentialism allows them to consistently affirm both necessitarianism and its denial, relative to different ways of conceiving the world. Their embrace of this modal theory, I further argue, is grounded in their similar views on metaphysical perfection, ontological plentitude, and the principle of sufficient reason. (shrink)

In Kant and Modern Political Philosophy, Katrin Flikschuh pursues two main aims. She tries to show that Kant’s theory of Right [Recht] is grounded in Kantian metaphysics. For example, we do not really understand Kant’s thought on property rights and cosmopolitanism unless we have in view its metaphysical underpinnings. Second, Flikschuh attempts to demonstrate the relevance of Kant’s theory of Right, especially as it is presented in Kant’s notoriously difficult Rechtslehre, to contemporary political concerns. In pursuing these aims she brings (...) to bear wide-ranging knowledge of scholarly work on Kant’s political and legal thought. (shrink)

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

The allocation of scarce health care resources such as flu treatment or organs for transplant presents stark problems of distributive justice. Persad, Wertheimer, and Emanuel have recently proposed a novel system for such allocation. Their “complete lives system” incorporates several principles, including ones that prescribe saving the most lives, preserving the most life-years, and giving priority to persons between 15 and 40 years old. This paper argues that the system lacks adequate moral foundations. Persad and colleagues' defense of giving priority (...) to those between 15 and 40 leaves them open to the charge that they discriminate unfairly against children. Second, the paper contends that the complete lives system fails to provide meaningful practical guidance in central cases, since it contains no method for balancing its principles when they conflict. Finally, the paper proposes a new method for balancing principles of saving the most lives and maximizing life-years. (shrink)

This article explores the ethical challenges of providing Medical Assistance in Dying (MAID) in a paediatric setting. More specifically, we focus on the theoretical questions that came to light when we were asked to develop a policy for responding to MAID requests at our tertiary paediatric institution. We illuminate a central point of conceptual confusion about the nature of MAID that emerges at the level of practice, and explore the various entailments for clinicians and patients that would flow from different (...) understandings. Finally, we consider the ethical challenges of building policy on what is still an extremely controversial social practice. While MAID is currently available to capable patients in Canada who are 18 years or older—a small but important subsection of the population our hospital serves—we write our policy with an eye to the near future when capable young people may gain access to MAID. We propose that an opportunity exists for MAID-providing institutions to reduce social stigma surrounding this practice, but not without potentially serious consequences for practitioners and institutions themselves. Thus, this paper is intended as a road map through the still-emerging legal and ethical landscape of paediatric MAID. We offer a view of the roads taken and considered along the way, and our justifications for travelling the paths we chose. By providing a record of our in-progress thinking, we hope to stimulate wider discussion about the issues and questions encountered in this work. (shrink)

Can an agent's intelligence level be negative? We extend the Legg-Hutter agent-environment framework to include punishments and argue for an affirmative answer to that question. We show that if the background encodings and Universal Turing Machine (UTM) admit certain Kolmogorov complexity symmetries, then the resulting Legg-Hutter intelligence measure is symmetric about the origin. In particular, this implies reward-ignoring agents have Legg-Hutter intelligence 0 according to such UTMs.

I argue that Spinoza endorses "conceptual dependence monism," the thesis that all forms of metaphysical dependence (such as causation, inherence, and existential dependence) are conceptual in kind. In the course of explaining the view, I further argue that it is actually presupposed in the proof for his more famed substance monism. Conceptual dependence monism also illuminates several of Spinoza’s most striking metaphysical views, including the intensionality of causal contexts, parallelism, metaphysical perfection, and explanatory rationalism. I also argue that this priority (...) of the conceptual does not commit Spinoza to forms of idealism or mentalism. The question of how to understand different kinds of metaphysical dependence is quite controversial in Spinoza studies; I address major alternative readings in the notes. But there I also try to draw connections to the growing debate in contemporary discussions about metaphysical dependence, as this topic is a happy point of shared interest between Spinoza and contemporary metaphysicians alike. (shrink)

: This article argues that Kant’s doctrine of radical evil and the doctrine of conversion which is its consequent reflect developments in Kant’s thinking about moral agency and his realization that his theory of freedom was inadequate to the problem of moral evil; that the changes Kant makes to accommodate evil result in a significant though subterranean shift in his concept of agency, resulting in two incompatible concepts, one explicit but inadequate, the other implicit yet necessary; and that the problems (...) Kant encounters with radical evil and conversion and the concept of agency they push him towards provide an important link between Kant and German Idealism. (shrink)

We present a game mechanic called pseudo-visibility for games inhabited by non-player characters (NPCs) driven by reinforcement learning (RL). NPCs are incentivized to pretend they cannot see pseudo-visible players: the training environment simulates an NPC to determine how the NPC would act if the pseudo-visible player were invisible, and penalizes the NPC for acting differently. NPCs are thereby trained to selectively ignore pseudo-visible players, except when they judge that the reaction penalty is an acceptable tradeoff (e.g., a guard might accept (...) the penalty in order to protect a treasure because losing the treasure would hurt even more). We describe an RL agent transformation which allows RL agents that would not otherwise do so to perform some limited self-reflection to learn the training environments in question. (shrink)

After generalizing the Archimedean property of real numbers in such a way as to make it adaptable to non-numeric structures, we demonstrate that the real numbers cannot be used to accurately measure non-Archimedean structures. We argue that, since an agent with Artificial General Intelligence (AGI) should have no problem engaging in tasks that inherently involve non-Archimedean rewards, and since traditional reinforcement learning rewards are real numbers, therefore traditional reinforcement learning probably will not lead to AGI. We indicate two possible ways (...) traditional reinforcement learning could be altered to remove this roadblock. (shrink)

The publicity of a moral conception is a central idea in Kantian and contractarian moral theory. Publicity carries the idea of general acceptability of principles through to social relations. Without publicity of its moral principles, the intuitive attractiveness of the contractarian ideal seems diminished. For it means that moral principles cannot serve as principles of practical reasoning and justification among free and equal persons. This article discusses the role of the publicity assumption in Rawls’s and Scanlon’s contractualism. I contend that (...) a regard for publicity and a moral conception’s potential to provide a public basis for justification and agreement account for much of the evolution of Rawls’s account of justice after A Theory of Justice . I also discuss whether contractualism can provide a basis for justification and general agreement under the social conditions that it endorses. I contend that it cannot, and conclude with a discussion showing why this should not be a problem for contractualism. Despite appearances, contractualism is a distinctive form of contractarianism, substantially different from Rawls’s position and the social contract tradition out of which it evolved. Key Words: contractarianism • contractualism • John Rawls • public justification • T.M. Scanlon • justice. (shrink)

Stoic physics, based entirely on the continuum concept, is one of the great original contributions in the history of physical systems. Building on The Physical World of the Greeks, the author describes the main aspects of the Stoic continuum theory, traces its origins back to pre-Stoic science and philosophy, and shows the attempts of the Stoics to work out a coherent system of thought that would explain the essential phenomena of the physical world by a few basic assumptions. Originally published (...) in 1987. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These paperback editions preserve the original texts of these important books while presenting them in durable paperback editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

In this paper I inquire into Bogen and Woodward’s data/phenomena distinction, which in a similar way to Cartwright’s construal of the model of superconductivity —although in a different domain—argues for a ‘bottom-up’ construction of phenomena from data without the involvement of theory. I criticise Bogen and Woodward’s account by analysing their melting point of lead example in depth, which is usually cited in the literature to illustrate the data/phenomenon distinction. Yet, the main focus of this paper lies on Matthias Kaiser’s (...) case study of the plate tectonic revolution, the most extensive case study that has been put forth to support the bottom-up construction of phenomena. On the basis of new historical evidence, which has been overlooked not only by Kaiser but also by the entire historical literature on the plate tectonic revolution, I demonstrate that phenomena are not constructed from the bottom-up but rather, admittedly counter-intuitively, from the top-down.Keywords: Data; Phenomena; Bottom-up; Theory-ladenness; Plate tectonic revolution. (shrink)

This survey outlines a history of museums written through biographies of objects in their collections. First, the mechanics of the movement of things and the accompanying shifts in status are considered, from manufacture or growth through collecting and exchange to the museum. Objects gathered meanings through associations with people they encountered on their way to the collection, thus linking the history of museums to broader scientific and civic cultures. Next, the essay addresses the use of items once they joined a (...) collection, whether classificatory, analytical, or in display. By thus embedding the study of scientific practice in material culture, this approach contributes to constructivist histories of science. The final section addresses the role of objects in the experience of the visitors, emphasizing how fruitful the history of museum objects can be in the study of the public engagement with science. (shrink)

Some twenty years ago, Bogen and Woodward challenged one of the fundamental assumptions of the received view, namely the theory-observation dichotomy and argued for the introduction of the further category of scientific phenomena. The latter, Bogen and Woodward stressed, are usually unobservable and inferred from what is indeed observable, namely scientific data. Crucially, Bogen and Woodward claimed that theories predict and explain phenomena, but not data. But then, of course, the thesis of theory-ladenness, which has it that our observations are (...) influenced by the theories we hold, cannot apply. On the basis of two case studies, I want to show that this consequence of Bogen and Woodward’s account is rather unrealistic. More importantly, I also object against Bogen and Woodward’s view that the reliability of data, which constitutes the precondition for data-to-phenomena inferences, can be secured without the theory one seeks to test. The case studies I revisit have figured heavily in the publications of Bogen and Woodward and others: the discovery of weak neutral currents and the discovery of the zebra pattern of magnetic anomalies. I show that, in the latter case, data can be ignored if they appear to be irrelevant from a particular theoretical perspective (TLI) and that, in the former case, the tested theory can be critical for the assessment of the reliability of the data (TLA). I argue that both TLI and TLA are much stronger senses of theory-ladenness than the classical thesis and that neither TLI nor TLA can be accommodated within Bogen and Woodward’s account. (shrink)

According to the Doctrine of Doing and Allowing, it is more difficult to justify doing harm than it is to justify allowing harm. Enabling harm consists in withdrawing an obstacle that would, if left in place, prevent a pre-existing causal sequence from leading to foreseen harm. There has been a lively debate concerning the moral status of enabling harm. According to some (e.g. McMahan, Vihvelin and Tomkow), many cases of enabling harm are morally indistinguishable from doing harm. Others (e.g. Foot, (...) Hanser) support the Equivalence Hypothesis, according to which enabling harm is morally equivalent to allowing harm. Here I argue that there is every reason to embrace, and no reason to reject, the Equivalence Hypothesis. (shrink)

In 2011, Hibbard suggested an intelligence measure for agents who compete in an adversarial sequence prediction game. We argue that Hibbard’s idea should actually be considered as two separate ideas: first, that the intelligence of such agents can be measured based on the growth rates of the runtimes of the competitors that they defeat; and second, one specific (somewhat arbitrary) method for measuring said growth rates. Whereas Hibbard’s intelligence measure is based on the latter growth-rate-measuring method, we survey other methods (...) for measuring function growth rates, and exhibit the resulting Hibbard-like intelligence measures and taxonomies. Of particular interest, we obtain intelligence taxonomies based on Big-O and Big-Theta notation systems, which taxonomies are novel in that they challenge conventional notions of what an intelligence measure should look like. We discuss how intelligence measurement of sequence predictors can indirectly serve as intelligence measurement for agents with Artificial General Intelligence (AGIs). (shrink)

A fundamental question asked in modal logic is whether a given theory is consistent. But consistent with what? A typical way to address this question identifies a choice of background knowledge axioms (say, S4, D, etc.) and then shows the assumptions codified by the theory in question to be consistent with those background axioms. But determining the specific choice and division of background axioms is, at least sometimes, little more than tradition. This paper introduces generic theories for propositional modal logic (...) to address consistency results in a more robust way. As building blocks for background knowledge, generic theories provide a standard for categorical determinations of consistency. We argue that the results and methods of this paper help to elucidate problems in epistemology and enjoy sufficient scope and power to have purchase on problems bearing on modalities in judgement, inference, and decision making. (shrink)

One shortcoming of the chain rule is that it does not iterate: it gives the derivative of f(g(x)), but not (directly) the second or higher-order derivatives. We present iterated differentials and a version of the multivariable chain rule which iterates to any desired level of derivative. We first present this material informally, and later discuss how to make it rigorous (a discussion which touches on formal foundations of calculus). We also suggest a finite calculus chain rule (contrary to Graham, Knuth (...) and Patashnik's claim that "there's no corresponding chain rule of finite calculus"). (shrink)

Chapter 1 Introduction How are participants associated with the eventualities they participate in? Are there events? Thematic roles? ...

We study the structure of families of theories in the language of arithmetic extended to allow these families to refer to one another and to themselves. If a theory contains schemata expressing its own truth and expressing a specific Turing index for itself, and contains some other mild axioms, then that theory is untrue. We exhibit some families of true self-referential theories that barely avoid this forbidden pattern.

We propose that, for the purpose of studying theoretical properties of the knowledge of an agent with Artificial General Intelligence (that is, the knowledge of an AGI), a pragmatic way to define such an agent’s knowledge (restricted to the language of Epistemic Arithmetic, or EA) is as follows. We declare an AGI to know an EA-statement φ if and only if that AGI would include φ in the resulting enumeration if that AGI were commanded: “Enumerate all the EA-sentences which you (...) know.” This definition is non-circular because an AGI, being capable of practical English communication, is capable of understanding the everyday English word “know” independently of how any philosopher formally defines knowledge; we elaborate further on the non-circularity of this circular-looking definition. This elegantly solves the problem that different AGIs may have different internal knowledge definitions and yet we want to study knowledge of AGIs in general, without having to study different AGIs separately just because they have separate internal knowledge definitions. Finally, we suggest how this definition of AGI knowledge can be used as a bridge which could allow the AGI research community to import certain abstract results about mechanical knowing agents from mathematical logic. (shrink)

Inspired by recent progress in multi-agent Reinforcement Learning (RL), in this work we examine the collective intelligent behaviour of theoretical universal agents by introducing a weighted mixture operation. Given a weighted set of agents, their weighted mixture is a new agent whose expected total reward in any environment is the corresponding weighted average of the original agents' expected total rewards in that environment. Thus, if RL agent intelligence is quantified in terms of performance across environments, the weighted mixture's intelligence is (...) the weighted average of the original agents' intelligences. This operation enables various interesting new theorems that shed light on the geometry of RL agent intelligence, namely: results about symmetries, convex agent-sets, and local extrema. We also show that any RL agent intelligence measure based on average performance across environments, subject to certain weak technical conditions, is identical (up to a constant factor) to performance within a single environment dependent on said intelligence measure. (shrink)

This article articulates a fundamental crisis of disciplinary philosophy—its lack of disciplinary self-consciousness and the skeptical problems this generates—and, through that articulation, exemplifies a means of mitigating its force. Disciplinary philosophy organizes itself as a producer of specialized knowledge, with the apparatus of journals, publication requirements, and other professional standards, but it cannot agree on what constitutes knowledge, progress, or value, and evinces ignorance of its history and alternatives. This situation engenders a skepticism that threatens the legitimacy of disciplinary philosophy. (...) The article proposes a response to this skepticism, rooted in the conditions that philosophers evince a specific kind of awareness of their own activity and its professional and cultural location, demonstrate this awareness by articulating it in the practice of philosophy itself, and recognize that precisely such articulation lies at the core of the Socratic idea of philosophy as a form of self-knowledge. (shrink)

This paper uses readings of two classic autobiographies, Edmund Gosse's Father & Son and John Stuart Mill's Autobiography, to develop a distinctive answer to an old and central question in value theory: What role is played by pleasure in the most successful human life? A first section defends my method. The main body of the paper then defines and rejects voluntarist, stoic, and developmental hedonist lessons to be taken from central crises in my two subjects' autobiographies, and argues for a (...) fourth, diagnostic lesson: Gosse and Mill perceive their individual good through the medium of pleasure. Finally, I offer some speculative moral psychology of human development, as involving the waking, perception, management, and flowering of generic and individual capacities, which I suggest underlies Gosse and Mill's experiences. The acceptance of one's own unchosen nature, discovered by self-perceptive pleasure in the operation of one's nascent capacities, is the beginning of a flourishing adulthood in which that nature is fully developed and expressed. (shrink)

This chapter surveys the fate of Carl Schmitt’s concept of the political in twentieth-century European thought. It starts with the main outlines of his founding text The Concept of the Political, with emphasis on conceptual ambiguities in Schmitt’s argumentation that others would identify and exploit. It then turns to a recent debate about which young German Jew—Hans Morgenthau or Leo Strauss—most influenced the revisions Schmitt made to his text between editions, concluding that the role of both has been overstated. The (...) balance of the chapter reconstructs an alternative—and in some ways opposed—French tradition of conceptualizing the political with roots in the thought of Raymond Aron. Culminating in Claude Lefort, this tradition decentered the role of enmity that Schmitt wanted to define the political, a point dramatized in conclusion with discussion of international relations theory and how the French tradition conceived of warfare and strife. (shrink)